Nonlinear Gains Recursive Sliding Mode Dynamic Surface Control with Integral Action

In this paper, by introducing a function with nonlinear gains and developing sliding surfaces with integral action in the dynamic surface control (DSC) recursive procedure, a novel DSC strategy is proposed. The drawbacks of conventional DSC methods, such as being sensitive to the design constant of the first order low‐pass filter and being unable to achieve zero steady‐state error for step reference signal, are overcome. Moreover, improvement of transient performance and reduction of control effort can be obtained. The stability analysis shows that the proposed new approach can guarantee semi‐global uniform ultimate boundedness (SGUUB) of all closed‐loop signals and that the ultimate tracking error bound in regulation can be made arbitrarily small.     

Cognitive evaluation for conceptual design: cognitive role of a 3D sculpture tool in the design thinking process

ABSTRACT

This study focuses on the decisive role played by the digital design environment in the cognitive design process and design thinking. To analyse the cognitive role of digital design tools, we carried out a protocol analysis of conventional design sketching and a 3D sculpture tool. Cognitive evaluation was a differentiating factor when considering the contextual role of the 3D sculpture tool in subsequent evaluations, non-sequential evaluations for conversion, and passive approaches within the design process. Cognitive evaluation played the following roles: validation, extension, navigation, exploration, and confirmation. The navigation, exploration, and extension roles played by non-sequential evaluation were mainly related to inductive design thinking. Finally, the types of cognitive evaluation and their roles when using the 3D sculpture tool were different, according to the design thinking type. This study explored the multidimensional roles of cognitive evaluation using a 3D sculpture tool and its relationship with design thinking types.     

Blending science and public policies for remediation of a degraded ecosystem: Jackfish Bay, north shore of Lake Superior, Ontario, Canada

The Jackfish Bay Remedial Action Plan is the first of Lake Superior's Areas of Concern (AOCs) to consider recognition as an Area in Recovery (AiR). As a result of a high degree of complexity and uncertainty, ecosystem recovery in Jackfish Bay has been determined using a combination of regulatory policies and scientific evidence and extensive public and expert-based decision making. As a result, the conceptualization of the AiR status in Jackfish Bay has been developed with the adaptive management and the ecosystem approach, which provide the basic principles of assessing, monitoring, and managing the Area of Concern. To determine the status of beneficial use impairments caused by effluent from the Terrace Bay Pulp Inc., three public advisory committees—an academic panel of experts, a government technical review committee, and the Jackfish Bay Public Area in Recovery Review Committee (PARRC)—reviewed relevant scientific data and documents, including peer-reviewed publications, to assess changes in pollution levels in Jackfish Bay and improvements to aquatic, biotic, and benthic environments of the bay. The public decision-making process concluded with recommendations by the PARRC to develop a systematic monitoring program so that the ecosystem recovery process in the bay could be assessed on a continued basis, leading to its eventual delisting as an AOC. The entire process provides an example of blending science and public policies for remediation of a degraded ecosystem on the Great Lakes.     

人脸活动单元自动识别研究综述

人脸活动单元(action units,AU)的自动识别能应用于行为科学、人机交互、安全、医疗诊断等众多领域,近年来得到了广泛关注.文中阐述了AU自动识别的基本概念、一般过程及其主要特征提取和分类方法,介绍了具有AU编码的代表性人脸表情数据库,并对单个AU与AU组合的识别、AU强度与AU动态性分析的研究现状进行了评述.最后总结了目前AU自动识别研究中存在的主要难点,并展望了其发展方向.     

基于位置-动作特征的助老机器人服务对象异常行为检测

随着人口老龄化和科技的发展,助老机器人在家庭中的应用越来越广泛。除日常功能外,及时发现老年人所处异常状态进而对老年人实现即时救助,也成为助老机器人必不可少的一项重要智能。针对助老机器人服务对象异常行为发现这一重要问题,从位置、动作特征信息融合的角度对其进行研究。首先,对老年人的位置和动作特征进行提取,建立基于DAEI的动作特征模型;然后,利用SLAM地图的位置信息和动作图像局部二阶相对矩生成特征向量;最后,通过改进的FCM算法对特征向量进行聚类。实验结果表明了该方法的可行性。     

一种检测TAL-freeness的代数方法

时间动作锁(Ti me-Action-Lock,TAL)指的是实时系统处于一种时间无法继续同时又没有任何动作能够发生的状态.Behzad和Kozo在时间自动机的几何学基础上提出了一种针对TAL-freeness的检测方法.但该方法要求必须将需要检测的模型转化为一种逻辑语言Rational Presburger Sentences后才能进行检测,因此使得验证过程比较繁琐.文中提出了一种检测TAL-freeness的代数方法,能够直接对系统模型进行直接验证,并且能够定位死锁原因.针对该方法,文中还给出了相应算法并提供了正确性证明与性能分析.     

Evolving BlenX programs to simulate the evolution of biological networks

We present a formal approach to study the evolution of biological networks. We use the Beta Workbench and its BlenX language to model and simulate networks in connection with evolutionary algorithms. Mutations are done on the structure of BlenX programs and networks are selected at any generation by using a fitness function. The feasibility of the approach is illustrated with a simple example.     

Social network,social trust and shared goals in organizational knowledge sharing

The aim of our study was to further develop an understanding of social capital in organizational-knowledge-sharing. We first developed a measurement tool and then a theoretical framework in which three social capital factors (social network, social trust, and shared goals) were combined with the theory of reasoned action; their relationships were then examined using confirmatory factoring analysis. We then surveyed of 190 managers from Hong Kong firms, we confirm that a social network and shared goals significantly contributed to a person's volition to share knowledge, and directly contributed to the perceived social pressure of the organization. The social trust has however showed no direct effect on the attitude and subjective norm of sharing knowledge.     

Searching for Complex Human Activities with No Visual Examples

We describe a method of representing human activities that allows a collection of motions to be queried without examples, using a simple and effective query language. Our approach is based on units of activity at segments of the body, that can be composed across space and across the body to produce complex queries. The presence of search units is inferred automatically by tracking the body, lifting the tracks to 3D and comparing to models trained using motion capture data. Our models of short time scale limb behaviour are built using labelled motion capture set. We show results for a large range of queries applied to a collection of complex motion and activity. We compare with discriminative methods applied to tracker data; our method offers significantly improved performance. We show experimental evidence that our method is robust to view direction and is unaffected by some important changes of clothing.     

Analytic Calculi for Logics of Ordinal Multiples of Standard t-Norms

For two propositional fuzzy logics, we present analytic proofcalculi, based on relational hypersequents. The logic consideredfirst, called M, is based on the finite ordinal sums of ukasiewiczt-norms. In addition to the usual connectives—the conjunction, the implication and the constant 0—we use a furtherunary connective interpreted by the function associating witheach truth value a the greatest -idempotent below a. M is aconservative extension of Basic Logic. The second logic, called M, is based on the finite ordinal sumsof the product t-norm on (0, 1]. Our connectives are in thiscase just the conjunction and the implication.